00100	(DE MERGE (U V) (COND ((NULL U) V) ((NULL V) U)
00200	((LESSP (CAR U) (CAR V)) (CONS (CAR U)
00300	(MERGE (CDR U) V))) (T (CONS (CAR V) (MERGE U(CDR V))))))
00400	
00500	(DE SORT (U) (SORTA U NIL))
00600	
00700	(DE SORTA (U V) (COND ((NULL U) (SORTB NIL V))
00800	(T (SORTA (CDR U) (SORTC (LIST (CAR U)) V)))))
00900	
01000	(DE SORTC (U V) (COND ((NULL V) (LIST U))
01100	((NULL (CAR V)) (CONS U (CDR V)))
01200	(T (CONS NIL (SORTC (MERGE U (CAR V)) (CDR V))))))
01300	
01400	(DE SORTB (U V) (COND ((NULL V) U)
01500	(T (SORTB (MERGE U (CAR V)) (CDR V)))))